Improving control flow verification in a business process using an extended Petri net
نویسندگان
چکیده
In a business process, control flow decisions are based on the evaluation of conditions. Thus, conditions must be considered for control flow verification. This paper shows how the Petri nets based control flow verification can be improved by analysing conditions and logical relations between them. We outline a Petri net extension with predicate transitions, which are responsible for conditions evaluation based on the collected knowledge, and effect places, which contain fact tokens representing the effects of certain operations and decisions made.
منابع مشابه
Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving
We present an extension of our previously introduced technique for unfolding conditional control flow in extended workflow graphs. This technique allows for a more precise process-to-Petri-net-mapping which is crucial for business process verification. Our new technique derives data flow information about the state space of process data by means of predicate clauses using a novel CSSA-Form-base...
متن کاملOliver Kopp , Niels Lohmann ( Eds . ) Services and their Composition 5 th Central European Workshop , ZEUS 2013
We present an extension of our previously introduced technique for unfolding conditional control flow in extended workflow graphs. This technique allows for a more precise process-to-Petri-net-mapping which is crucial for business process verification. Our new technique derives data flow information about the state space of process data by means of predicate clauses using a novel CSSA-Form-base...
متن کاملOliver Kopp , Niels Lohmann ( Eds . ) Services and their Composition 5 th Central European Workshop , ZEUS 2013 Rostock , Germany , 21 – 22 February 2013
We present an extension of our previously introduced technique for unfolding conditional control flow in extended workflow graphs. This technique allows for a more precise process-to-Petri-net-mapping which is crucial for business process verification. Our new technique derives data flow information about the state space of process data by means of predicate clauses using a novel CSSA-Form-base...
متن کاملFormulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach
Control-flow and data-flow modeling and verification are two important challenges for traditional workflow management. To formulate the data-flow modeling and verification, a Petri Net based approach is proposed in this paper. More specifically, the WFIO-net, which is a kind of WF-net by extending each activity with its read and write data sets, is first presented to model both the control-flow...
متن کاملWorkflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, they attempt to support frequent changes of the workflows at hand. Therefore, the need for analysis methods to verify the correctness of workflows is becoming more prominent. In this chapter we present a method based ...
متن کامل